Design of Dynamic Detector for Atomicity Races in ARINC-653 Applications
نویسندگان
چکیده
This paper presents a dynamic detector, called Race-653 that locates atomicity races in ARINC-653 applications using an on-the-fly analysis technique. Race-653 consists of 653-Monitor and 653-Detector modules. The 653-Monitor collects monitored information during an execution of the applications, such as processes, semaphores, and accesses for each shared resource. The 653-Detector reports atomicity races by checking violations of a synchronization discipline based on semaphore. We implemented the detector as a PIN tool using PIN binary instrumentation framework and evaluated accuracy of the tool on a simulation system for integrated modular avionics.
منابع مشابه
A Framework for On-the-fly Race Healing in ARINC-653 Applications
The ARINC-653 standard architecture for flight software specifies an application executive (APEX) which furnishes an application programming interface of fifty-one routines. APEX enables the development of portable applications, providing a strict time and space partitioning for their execution along with intraand inter-partition communication facilities. This architecture also defines a hierar...
متن کاملRefinement-based Specification and Security Analysis of Separation Kernels
Assurance of information-flow security by formal methods is mandated in security certification of separation kernels. As an industrial standard for improving safety, ARINC 653 has been complied with by mainstream separation kernels. Due to the new trend of integrating safe and secure functionalities into one separation kernel, security analysis of ARINC 653 as well as a formal specification wit...
متن کاملOpen Source Implementation of Hierarchical Scheduling for Integrated Modular Avionics
This paper describes the porting of a Ravenscar compliant kernel (ORK+) to the hypervisor XtratuM to build up an open source ARINC 653 platform for avionics systems. The Integrated Modular Avionics (IMA) architecture requires a specialized operating system layer that provides temporal and spatial isolation between partitions. The ARINC 653 standard defines an architecture and an applications pr...
متن کاملConfiguration Tool for ARINC 653 Operating Systems
ARINC 653 Specification defines a standardized interface of real-time operating systems and an Application Executive (APEX) to develop the reliable applications for avionics based on Integrated Modular Avionics (IMA). The requirements of system platform based on ARINC 653 Standard are defined as configuration data and are integrated to the XML configuration file(s) in the real-time operating sy...
متن کاملA Mapping Approach of Code Generation for Arinc653-Based Avionics Software
Avionic software architecture has transit from a federated avionics architecture to an integrated modular avionics (IMA) .ARINC 653 (Avionics Application Standard Software Interface) is a software specification for space and time partitioning in Safety-critical avionics Real-time operating systems. Methods to transform the abstract avionics application logic function to the executable model hav...
متن کامل